Module isotope::ast[][src]

Expand description

An AST for isotope expressions.

Re-exports

pub use super::*;

Structs

Constraint

A constraint on an instant or lifetime

Constraints

A list of constraints on an instant or lifetime

Dependency

Dependency metadata for a symbol

FunctionalLinearity

A function type’s linearities

Instant

An instant, having an (optional) name and (optional) constraint

Judgement

A typing judgement

Lambda

A lambda function

Let

A let statement

Linearity

Substructurality requirements on a value

Param

A parameter

Parametrized

A parametrized value

Pi

A pi type

Relationship

A relationship between relations

Scope

A scope

Sexpr

An S-expression

Usage

Usage of a value

Enums

Expr

An isotope expression

FnKind

A function kind

Statement

An isotope statement

Variance

The variance of a type binding

Constants

SMALL_SEXPR_SIZE

The size of a small S-expression